Generating natural language specifications from UML class diagrams

Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semistructured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early Natural Language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates Natural Language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of Natural Language used within UML. We use WordNet,a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study

Model Consistency for Distributed Collaborative Modeling

International audienceCurrent collaborative modeling tools use a centralized architecture , based on version control system, where models are updated asynchronously. These tools depend on a single server and are not completely adapted for collaborative modeling, where update reactivity is essential. In this paper, we propose a framework for building collabo-rative modeling tools which provides synchronous model update. The framework is based on a peer-to-peer architecture and uses a consistency algorithm for model updating

A process pattern model for tackling and improving big data quality

Data seldom create value by themselves. They need to be linked and combined from multiple sources, which can often come with variable data quality. The task of improving data quality is a recurring challenge. In this paper, we use a case study of a large telecom company to develop a generic process pattern model for improving data quality. The process pattern model is defined as a proven series of activities, aimed at improving the data quality given a certain context, a particular objective, and a specific set of initial conditions. Four different patterns are derived to deal with the variations in data quality of datasets. Instead of having to find the way to improve the quality of big data for each situation, the process model provides data users with generic patterns, which can be used as a reference model to improve big data quality

Enabling agile web development through in-browser code generation and evaluation

Rapid evolution and flexibility are the key of modern web application development. Rapid Prototyping approaches try to facilitate evolution by reducing the time between the elicitation of a new requirement and the evaluation of a prototype by both developers and customers. Software generation, with disciplines such as Software Product Lines Engineering or Model Driven Engineering, favours the required flexibility for the development process. Nevertheless, each small change in the design of an application requires a full redeployment of complex environments in order to allow customers to test and evaluate the new configuration. In this work we present an approach that improves the development process reducing the complexity of deploying evaluation prototypes and enabling an agile development cycle. The approach can be applied using software generation and it is based on in-browser generation and evaluation. We also describe two real world tools that have integrated the proposed approach in their development cycle

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Search for chargino-neutralino production with mass splittings near the electroweak scale in three-lepton final states in √s=13 TeV pp collisions with the ATLAS detector

A search for supersymmetry through the pair production of electroweakinos with mass splittings near the electroweak scale and decaying via on-shell W and Z bosons is presented for a three-lepton final state. The analyzed proton-proton collision data taken at a center-of-mass energy of √s=13  TeV were collected between 2015 and 2018 by the ATLAS experiment at the Large Hadron Collider, corresponding to an integrated luminosity of 139  fb−1. A search, emulating the recursive jigsaw reconstruction technique with easily reproducible laboratory-frame variables, is performed. The two excesses observed in the 2015–2016 data recursive jigsaw analysis in the low-mass three-lepton phase space are reproduced. Results with the full data set are in agreement with the Standard Model expectations. They are interpreted to set exclusion limits at the 95% confidence level on simplified models of chargino-neutralino pair production for masses up to 345 GeV

Environmental cues and constraints affecting the seasonality of dominant calanoid copepods in brackish, coastal waters: a case study of Acartia, Temora and Eurytemora species in the south-west Baltic

Information on physiological rates and tolerances helps one gain a cause-and-effect understanding of the role that some environmental (bottom–up) factors play in regulating the seasonality and productivity of key species. We combined the results of laboratory experiments on reproductive success and field time series data on adult abundance to explore factors controlling the seasonality of Acartia spp., Eurytemora affinis and Temora longicornis, key copepods of brackish, coastal and temperate environments. Patterns in laboratory and field data were discussed using a metabolic framework that included the effects of ‘controlling’, ‘masking’ and ‘directive’ environmental factors. Over a 5-year period, changes in adult abundance within two south-west Baltic field sites (Kiel Fjord Pier, 54°19′89N, 10°09′06E, 12–21 psu, and North/Baltic Sea Canal NOK, 54°20′45N, 9°57′02E, 4–10 psu) were evaluated with respect to changes in temperature, salinity, day length and chlorophyll a concentration. Acartia spp. dominated the copepod assemblage at both sites (up to 16,764 and 21,771 females m−3 at NOK and Pier) and was 4 to 10 times more abundant than E. affinis (to 2,939 m−3 at NOK) and T. longicornis (to 1,959 m−3 at Pier), respectively. Species-specific salinity tolerance explains differences in adult abundance between sampling sites whereas phenological differences among species are best explained by the influence of species-specific thermal windows and prey requirements supporting survival and egg production. Multiple intrinsic and extrinsic (environmental) factors influence the production of different egg types (normal and resting), regulate life-history strategies and influence match–mismatch dynamics